#!/bin/sh

if [ -f Makefile ]; then
    make clean
fi

rm -f doc/html/*

rm -fr CMakeCache.txt CMakeFiles DartTestfile.txt Makefile Testing install_manifest.txt cmake_install.cmake progress.make *.so
rm -fr build-stamp configure-stamp debian/*.log debian/*.substvars debian/*.debhelper debian/tmp debian/files
rm -fr debian/cas-xmlrpc-stub-handler
